Skip to content

Comments

Ensure packages are filtered to match the extension name#337

Merged
asgrim merged 2 commits intophp:mainfrom
asgrim:filter-matching-packages-by-ext-name
Sep 2, 2025
Merged

Ensure packages are filtered to match the extension name#337
asgrim merged 2 commits intophp:mainfrom
asgrim:filter-matching-packages-by-ext-name

Conversation

@asgrim
Copy link
Contributor

@asgrim asgrim commented Sep 1, 2025

No description provided.

@asgrim asgrim added this to the 1.2.0 milestone Sep 1, 2025
@asgrim asgrim self-assigned this Sep 1, 2025
@asgrim asgrim added the enhancement New feature or request label Sep 1, 2025
@asgrim asgrim force-pushed the filter-matching-packages-by-ext-name branch from 62a901a to e87aa34 Compare September 2, 2025 19:51
@asgrim asgrim merged commit 4b20e77 into php:main Sep 2, 2025
28 checks passed
@asgrim asgrim deleted the filter-matching-packages-by-ext-name branch September 2, 2025 20:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant